首页> 外文OA文献 >An Approach Towards the Verification of Hybrid Rule/Frame-based Expert Systems Using Coloured Petri Nets

【2h】

An Approach Towards the Verification of Hybrid Rule/Frame-based Expert Systems Using Coloured Petri Nets

机译：基于着色petri网的混合规则/框架专家系统验证方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Simon C. K. Shiu; James N. K. Liu; Daniel S. Yeung;
展开▼
作者单位

展开▼
年度 1995
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems [J] . Chih-Hung Wu, Shie-Jue Lee IEEE transactions on systems, man, and cybernetics. Part B . 1997,第5期

机译：具有多种颜色的增强型高级Petri网，用于基于规则的专家系统的知识验证/确认
2. An expert enhanced coloured fuzzy Petri net approach to reconfigurable manufacturing systems involving information delays [J] . Rupesh Kumar, Santosh Kumar, M. K. Tiwari The International Journal of Advanced Manufacturing Technology . 2005,第7a8期

机译：专家增强的彩色模糊Petri网方法，用于涉及信息延迟的可重配置制造系统
3. A new approach to verify rule-based systems using petri nets [J] . Xudong He, William C. Chu, Hongji Yang Information and software technology . 2003,第10期

机译：使用Petri网验证基于规则的系统的新方法
4. An approach towards the verification of hybrid rule/frame-based expert systems using coloured Petri nets [C] . Shiu, S.C.K., Liu, . 1995

机译：一种使用有色Petri网验证混合规则/基于框架的专家系统的方法
5. AN APPROACH TO MECHANICAL DESIGN USING A NETWORK OF INTERACTIVE HYBRID EXPERT SYSTEM [D] . ZAREFAR, HORMOZD 1986

机译：基于交互式混合专家系统网络的机械设计方法
6. Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking [O] . David Gilbert, Monika Heiner, Leila Ghanbar, 2019

机译：使用彩色混合Petri网和模拟模型检查的空间群体感应建模
7. A Graphical Approach for Hybrid Simulation of 3D Diffusion Bio-Models via Coloured Hybrid Petri Nets [O] . Amr Ismail, Mostafa Herajy, Elsayed Atlam, 2020

机译：通过彩色混合培养网的三维扩散生物模型混合仿真的图解方法
8. Rule groupings: An approach towards verification of expert systems [R] . Mehrotra, Mala 1991

机译：规则分组：验证专家系统的方法

An Approach Towards the Verification of Hybrid Rule/Frame-based Expert Systems Using Coloured Petri Nets

著录项

引文网络

相似文献

相关主题

期刊订阅